Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
301	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods
302	ARSPA 2004 Preliminary Version Believing the Integrity of a System (Invited Talk) Simon N. Foley 1,2 Department of Computer Science Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2004-10-08 09:12:34 Ethics Crime prevention National security Evaluation Electronic commerce Integrity Formal verification Trusted Computer System Evaluation Criteria Computer security Security Computer network security
303	Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-11-15 09:51:55 C++ Object-oriented programming C programming language Cross-platform software Procedural programming languages C++ classes Virtual function Virtual method table C++11 Software engineering Computing Computer programming
304	Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:15:45 Electronic engineering Logic in computer science Software testing Software verification Static program analysis Model checking Formal verification Programming tool Software bug Formal methods Software development Theoretical computer science
305	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
306	Frama-C Training Session Tips and Tricks in Software Verification Virgile Prevosto CEA List October 22nd , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Formal specification Frama-C Software verification Specification Evaluation Technology ANSI/ISO C Specification Language Formal methods Software Technical communication
307	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation
308	Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering Head of Dependable Systems GroupFaculty of Informatics Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-08-24 05:32:58 Computer Aided Verification Runtime verification Computer science Model checking Real-time computing Theoretical computer science Formal methods Orc
309	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
310	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Software Software requirements Embedded systems Safety DO-178C DO-178B Frama-C Formal verification Verification Software development Avionics Computing

UPDATE